Nuprl Lemma : es-sender-causl 11,40
the_es:event_system{i:l}, e:es-E(the_es).
(es-isrcv(the_es; e))  es-causl(the_es; es-sender(the_es; e); e) 
latex

Definitionsx:A. B(x), t  T, P  Q
Lemmases-axioms, event system wf

origin